Hybrid logic - PDFSEARCH.IO - Document Search Engine

Hybrid logic
Results: 87

#	Item
41	A Hybrid Approach for Proving Noninterference of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Michael Kirsten† and Martin Mohr† ∗ University of Trier, Germany Email Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-07 09:31:03 Applied mathematics Formal verification Logic in computer science KeY Abstract interpretation Modal logic Predicate transformer semantics Theoretical computer science Formal methods Logic
42	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
43	A Hybrid AI Approach to Staff Scheduling Graham Winstanley School of Computing & Mathematical Sciences University of Brighton [removed] Add to Reading List Source URL: www.it.bton.ac.uk Language: English - Date: 2002-08-09 08:16:48 Computer programming Nurse scheduling problem Constraint satisfaction Constraint logic programming Constraint ECLiPSe Mathematical optimization Constraint programming Declarative programming Software engineering
44	Energy Efficient Hybrid Wakeup Logic Michael Huang, Jose Renau, and Josep Torrellas University of Rochester, University of Illinois at Urbana-Champaign* Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2010-12-29 12:05:14 Science Academia Knowledge Digital electronics Register file Logic
45	Energy-Efficient Hybrid Wakeup Logic Michael Huang, Jose Renau, and Josep Torrellas Department of Computer Science University of Illinois at Urbana-Champaign http://iacoma.cs.uiuc.edu ABSTRACT Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2002-07-31 19:49:18 Parallel computing Classes of computers Central processing unit Superscalar Branch predictor Reduced instruction set computing Instruction set Very long instruction word Microarchitecture Computer architecture Computing Computer hardware
46	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2000-05-10 17:41:18 Mathematics Applied mathematics Simplex algorithm Linear programming Slack variable Constraint logic programming Constraint Least squares Hybrid algorithm Mathematical optimization Constraint programming Operations research
47	** PUT YOUR TITLE HERE Add to Reading List Source URL: www.stes.fi Language: English - Date: 2006-10-23 12:12:00** Information Timo Honkela Self-organizing map Ontology Content-based image retrieval Semantic mapper Fuzzy logic Teuvo Kohonen Hybrid Kohonen SOM Semantic Web Science Artificial intelligence
48	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
49	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic
50	Differential Dynamic Logic for Verifying Parametric Hybrid Systems Andr´e Platzer1,2 1 University 2 Carnegie Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:58 Proof theory Differential equations Logic in computer science Control theory Hybrid system Sequent Mathematical logic Dynamic logic Mathematics Science Logic

UPDATE